algebraic datatypesの例文

例文

1. Standard ML provides strong support for algebraic datatypes.
2. The core of Visual Prolog are Horn clauses, algebraic datatypes, pattern matching and controlled strongly and statically typed.
3. The use of algebraic datatypes makes manipulation of complex data structures convenient; the presence of strong compile-time type checking makes programs more reliable in absence of other reliability techniques like test-driven development, while type inference frees the programmer from the need to manually declare types to the compiler in most cases.